336 research outputs found

    Reducing COPD Exacerbation Among African Americans Affected with COPD in a South Florida Clinic. A Quality Improvement Project

    Get PDF
    Abstract Objective: The study aimed to determine if an educational intervention will improve COPD exacerbations in African American population after a 6-week self-management program that includes the proper use of an inhaler. Methods: Ten patients were recruited in a primary care setting with the assistance of the providers. All patients had to complete a pretest and a posttest to assess their knowledge of inhaler technique, their willingness to engage in self-efficacy disease management, their symptoms improvement and treatment adherence. The Inhaler Device Assessment Tool, the Self-Efficacy for Managing Chronic Disease 6-Item Scale, the CAT test, and the TAI test were the tools used for the project. Results: In the recruited population, 70 % were females and 30% were males. In the pretest and posttest of the inhaler technique, there is an improvement difference of 1.5 %, with a mean of 3.1 % in the pretest, and 4.6 % in the posttest. The CAT test has a mean of 17.9 with a standard deviation (SD) of 7.25 in the pretest, and a mean of 9.9 and a SD of 6.21. The CAT test has difference of 8. Self-efficacy management shows a difference of 3.4 with a mean value of 53 and 56.4 in the pretest and posttest respectively. Inhaler adherence has a mean value of 46.4 in the pretest and 49.3 in the posttest with a difference of 2.9 in inhaler adherence improvement. Conclusion: The study reveals that teaching the proper use of an inhaler can improve COPD symptoms and decrease the frequency of COPD exacerbations in African American population after a 6-week self-management program, but further studies are needed to validate the findings

    Search for domain wall dark matter with atomic clocks on board global positioning system satellites

    Full text link
    Cosmological observations indicate that 85% of all matter in the Universe is dark matter (DM), yet its microscopic composition remains a mystery. One hypothesis is that DM arises from ultralight quantum fields that form macroscopic objects such as topological defects. Here we use GPS as a ~ 50,000 km aperture DM detector to search for such defects in the form of domain walls. GPS navigation relies on precision timing signals furnished by atomic clocks hosted on board GPS satellites. As the Earth moves through the galactic DM halo, interactions with topological defects could cause atomic clock glitches that propagate through the GPS satellite constellation at galactic velocities ~ 300 km/s. Mining 16 years of archival GPS data, we find no evidence for DM in the form of domain walls at our current sensitivity level. This allows us to improve the limits on certain quadratic scalar couplings of domain wall DM to standard model particles by several orders of magnitude.Comment: 7 pages (main text), and 12 pages for Supplementary Information. v3: Update titl

    Functions Returning Values of Dynamic Size

    Get PDF
    Modern programming languages, such as Ada (Ichbiah 80), permit the definition of functions that return values whose size can not be determined until the function returns. This paper discusses five implementation techniques that can be used to implement this capability. Comparisons of the techniques are provided and guidelines for selecting a particular technique for a compiler are given

    Rehearsal: A Configuration Verification Tool for Puppet

    Full text link
    Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow range of errors. Furthermore, testing is ineffective because many errors are only triggered under specific machine states that are difficult to predict and reproduce. With several examples, we show that a key problem with Puppet is that configurations can be non-deterministic. This paper presents Rehearsal, a verification tool for Puppet configurations. Rehearsal implements a sound, complete, and scalable determinacy analysis for Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use several analyses to shrink our models to a tractable size, and (3) frame determinism-checking as decidable formulas for an SMT solver. Rehearsal then leverages the determinacy analysis to check other important properties, such as idempotency. Finally, we apply Rehearsal to several real-world Puppet configurations.Comment: In proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 201
    corecore